181. Abstraction refinement for large scale model checking

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems

رده :
QA
76
.
76
.
V47W36
2006

182. Accelerated Silverlight 3

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Silverlight (Electronic resource) ; Silverlight (Electronic resource) ; sears. ; Multimedia systems. ; User interfaces (Computer systems) ; Application software ; Development. ; Multimedia. ; sears. ; Web sites ; Design. ; sears. ; Application software ;

183. Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.

184. Access 97

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Operating systems )Computers(,Microsoft Access,Microsoft Windows )Computer file(

رده :
QA
.
D3A2893
76
.
9
1997

185. Access 97 Programming: unleashed

پدیدآورنده :

موضوع : Operating systems (Computers),Microsoft Access,Microsoft Windows (Computer file)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

186. Accessibility handbook

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Accessible Web sites for people with disabilities-- United States,User interfaces (Computer systems),Web sites-- Design

رده :
TK5105
.
888
.
C86
2012

187. Accounting and auditing on AIX 5L

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Accounting- Data processing,Auditing- Data processing,AIX (Computer file),Operating systems (Computers)

رده :
HF5679
.
A329
2004

188. Accounting information systems

پدیدآورنده :

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : Accounting--Data processing,Transaction systems (Computer systems)

رده :
HF5679
.
B597
1991

189. Accounting information systems :transaction processing and controls

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Accounting - Data processing,Transaction systems (Computer systems),Electronic data interchange

رده :
‭
HF5679
‬ ‭.
B597
1999
‬

190. Accounting information systems: transactions processing and controls

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Data processing ، Accounting,، Transaction systems )Computer systems(,، Electronic data interchange

رده :
HF
5679
.
B597
1999

191. Accuracy Filter And ADC Design-Capacitor Techniques For High-Switched

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Engineering. ; Computer engineering. ; Electronics. ; Systems engineering. ; Engineering. ; Circuits and Systems. ; Electronics and Microelectronics, Instrumentation. ; Electrical Engineering. ;

192. Achievements in European research on Grid systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational grids (Computer systems), Congresses.

193. Achieving interoperability in critical IT and communication systems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Emergency management-- Communication systems-- Computer networks.,Internetworking (Telecommunication),Internetworking (Telecommunication),NATURE-- Natural Disasters.,SOCIAL SCIENCE-- Disasters & Disaster Relief.

رده :
TK5105
.
5
.
A245
2009eb

194. Achieving service-oriented architecture :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Information technology-- Management.,Management information systems.,Service-oriented architecture (Computer science),COMPUTERS-- Management Information Systems.,Information technology-- Management.,Management information systems.,Service-oriented architecture (Computer science)

رده :
HD30
.
2
.
S93
2010eb

195. Acting with technology :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Action theory.,Design-- Human factors.,Human-computer interaction.,User interfaces (Computer systems),Design-- Facteurs humains.,Interaction homme-machine (Informatique),Interfaces utilisateurs (Informatique),Théorie de l'action.,Action theory.,Cognitieve processen.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,Design-- Human factors.,Human-computer interaction.,Informatiesystemen.,User interfaces (Computer systems)

رده :
QA76
.
9
.
H85
K45
2006eb

196. Action Research in Software Engineering

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Software engineering. ; Management information systems. ; Computer science. ; Software Engineering. ;

197. ActionScripting in Flash /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Flash (Computer file),Computer animation.,Computer graphics.,Multimedia systems.,Web sites-- Design.

198. Active Directory

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Microsoft Windows )Computer file(,، Operating systems )Computers(,Management ، Local area networks )Computer networks(,، Directory services )Computer network technology(

رده :
QA
76
.
76
.
O63
A454
2006

199. Active Directory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Microsoft Windows )Computer file(,، Operating systems )Computers(,Management ، Local area networks )Computer networks(,، Directory services )Computer network technology(

رده :
QA
76
.
76
.
O63A44
2003

200. Active Directory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Microsoft Windows (Computer file),Operating systems (Computers),Local area networks (Computer networks)- Management,Directory services (Computer network technology)

رده :
QA76
.
76
.
O63
,
A454
2006